Nuprl Definition : fshift
4,23
postcript
pdf
fshift(
f
;
x
)(
i
) == if
i
=
0
x
else
f
(
i
-1) fi
latex
Definitions
if
b
t
else
f
fi
,
i
=
j
FDL editor aliases
fshift
origin
0
x else f(i-1) fi 0 x else f(i-1) fi t else f fij